Nuprl Definition : eclseq 11,40
eclseq(a; b) == inr (inl <a, b> )  
latex

Definitionsinr x , inl x , <a, b>
FDL editor aliaseseclseq, eclseq

origin